The real catalog of tools for AI agents

Compact agent context verbatim, offline: cut spent tool outputs, recall them by hash.

Crawls any documentation or SaaS site and compiles a standards-compliant /llms.txt manifest and J.

Compile code with thousands of compilers, inspect the assembly, and share godbolt.org links

Local Windows ambient context (presence, foreground app, battery) as privacy-gated MCP tools.

Local-first persistent context memory MCP server for AI coding agents.

Check, compile, run, and test Sounio programs locally.

Audits any live MCP server URL or GitHub repo on Glama's 6-dimension TDQS rubric and compiles drop

Tolk smart contract compiler for TON — compile, check, and deploy from AI assistants

Handles 10M+ token contexts with chunking, sub-queries, and local Ollama inference.

Deterministic Zero-LLM Web Compiler, Scraper, Crawler, and Site Mapper for AI Agents.

Encrypted local ledger of structured user state, shared across every MCP-aware AI tool.

Deterministic cited disclosure drafts with verified GHG lineage and audit hashes.

Kotlin compile-time SQL library. Docs, code validation, and SQLite execution tools.

Cut LLM agent token use in Claude Code, Cursor, Codex, Gemini CLI. Local, no API key. gAI Ventures.

Compile SOPs, policies, and playbooks into source-grounded visual flowcharts (SVG, Mermaid, JSON).

Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.

Local-first documentation for AI agents. Offline, instant, private doc retrieval.

Semantic search knowledge base with serverless LanceDB. Zero setup, 100% local, 25+ file types

Local .NET compiler verification, change impact, and typed wiring for AI agents.

Local-first personal context over MCP: mail/calendar metadata, briefings, person lookups. No cloud.