AI tool

A survey of eight tools that sit between AI agents and the services they call, covering credential injection, interception, policy enforcement, and mocking/testing. The page explains what each tool is for, where it fits, and what to watch out for.

A weekly security audit of Atlassian’s remote MCP server, focused on OAuth 2.1, RFC 9728 discovery, PKCE, DCR, and token handling. The page documents why the server’s discovery chain fails and includes HTTP evidence links.

A Rust-based CLI that fetches web pages, strips page chrome, and outputs readable Markdown for AI agents and shell workflows.

An interactive choose-your-own-adventure that explores 28 possible AI futures through branching questions and personalized vignettes.

Permission-first CLAUDE.md and agent stack for Claude Code and Google Antigravity, with 10 agents, 28 skills, and one-command installation.

A Mac menu bar app that schedules Claude Code prompts to run later on the user’s Mac, using local files, skills, and CLI tools. Results post back when the job runs.

Gread is a Skill and MCP server that gives coding agents access to the source code and docs of public GitHub repositories, with support for both skill-based and MCP client integrations.

Agentize is a Claude Code-oriented framework for assessing and improving how ready a codebase is for AI agents. It includes two maturity models, runnable assessment and improvement commands, and installable skills for project or personal use.

An open-source Claude Code skill set for academic research, covering research, writing, review, revision, and finalization. It includes guided workflows, installation steps, and pipeline documentation for researchers using AI in a human-in-the-loop process.

UltraCompress is a Python-based compression tool for large language models. The repo describes lossless 5-bit transformer compression, verification via SHA-256, a CLI on PyPI, and published model packs on Hugging Face.

A Docker-based sandbox for running AI coding agents with dropped capabilities, no-new-privileges, and no Docker socket access. It wraps the pi terminal coding agent and supports local file edits, persistent auth, and skills mounts.

AI assistant for chatting with PDFs, helping users edit, fill, and understand forms step by step. The demo page shows a loaded IRS W-9 and supports guided form-filling workflows.

An autonomous neuro-symbolic formal verification engine for Lean 4. The repository describes a proof workflow that generates tactics and then checks them deterministically in Lean, with example proofs, verification steps, and telemetry outputs.

AI-powered trade signal product for retail traders that turns financial news into ranked trade plans with entries, stops, targets, and tracked accuracy.

An open-source Llama2 inference engine written in x86 real-mode assembly that fits in 1277 bytes and can boot directly from disk before any OS loads.

A Microsoft Word task pane add-in that embeds a Pi Agent-powered assistant for M365 Word, with production and local sideloading manifests plus build and test instructions.

Gate is an agentic desktop OS for developers that runs AI desks locally, extracts reusable skills from completed work, and logs every action with receipts. The page shows install flow, platform limits, model requirements, sandboxing, and a clear comparison with Cursor/Aider.

An AI copilot for Autodesk Fusion 360 that installs as a Fusion add-in and lets users chat with the Adam palette inside the CAD app.

FastAPI backend for the Brush Up tutor app. It retrieves from a markdown note corpus, expands context through graph neighbors, and calls Anthropic to generate grounded programming help for Python, Ruby, and JavaScript.

GitGalaxy is a Python-based static analysis and knowledge graph engine for deep repository intelligence. It maps codebases at the function level, supports 50+ languages, runs locally, and exports JSON and SQLite for querying and AI-agent workflows.

Chrome extension that uses Gemini Nano via Chrome’s Prompt API to rewrite comments and posts live in a chosen tone, fully on-device with no API keys or backend.

A Claude Code playbook for engineers who want to drive internal adoption on their team, with guidance on what to share, how to answer questions, and a 30-day rollout plan.

A CLI tool that exposes a local MCP server through a public URL with one command. It supports anonymous ephemeral tunnels, OAuth 2.1 by default, and a self-hosted relay option.

A portable agent skill for rewriting legalese and verbose AI text into plain English. The repo includes features, installation steps, and support notes for tools like Claude Code, Gemini CLI, Antigravity, and Codex CLI.