4,052 tools found
Formally verified multipolygon intersection algorithm proven correct in Lean 4, with the implementation written autonomously by AI agents.
Open-source Claude Code harness for autonomous vulnerability discovery, verification, and patching of C/C++ memory bugs via ASAN and gVisor sandboxing.
vLLM KV-cache quantization backend that gives 3-5x more cache capacity and up to 1.3x throughput over FP16, at FP16-level accuracy.
Local-first memory sidecar that builds a persistent knowledge graph from LLM conversations and injects scored context into prompts.
Cast runs a small team of AI agents on your own machine in containers, with access enforced by code, never by prompt instructions.
npm-scan is a CLI supply-chain scanner that catches behavioral npm package attacks CVE-based tools like npm audit miss.
Paseo is a self-hosted daemon that runs Claude Code, Codex, Copilot, OpenCode, and Pi agents through one interface across devices.
MCP server for Mila, giving AI agents 23 tools to create, read, and manage documents, spreadsheets, and slide decks.
MCP server for real Google Flights search via a reverse-engineered API - one-way, round-trip, and multi-city fares, no scraping.
MCP server for AI image generation across OpenRouter, Together AI, Replicate, and fal.ai.
picklesdev is an autonomous agent for end-to-end workflow automation, enabling users to run complete processes without manual intervention.
Publora Skills let an AI agent draft, schedule, and publish posts across 10 social networks through one MCP server instead of ten APIs.
