Chiasmus is an MCP server that gives language models access to formal verification
MCP
Model Context Protocol — servers, clients, and integrations.
8315 posts
On-demand Linux computers you can hand to an AI — real Firecracker microVMs with a browser, terminal, coding agents, and an AI that drives t...
Anti-detection browser server for AI agents — REST API wrapping Camoufox engine with OpenClaw plugin support
Fast, lightweight Firecrawl/Tavily alternative in Rust. Web scraper, crawler & search API with MCP server for AI agents. Drop-in Firecrawl-c...
LLM-powered knowledge base from your Claude Code, Codex CLI, Copilot, Cursor & Gemini sessions. Karpathy's LLM Wiki pattern — implemented an...
900+ pure-markdown skills for autonomous AI research, organized as 9 freely-composable packages over a 4-layer hierarchy (Campaign → Strateg...
Free, open-source terminal SSH manager and SSH config editor in Rust for macOS and Linux that keeps ~/.ssh/config in sync with 16 cloud prov...
Symbol Delta Ledger (SDL-MCP) is a policy-centered context budget layer for coding agents: Symbol-graph intelligence combined with precision...
AI-native workspace for local shells and remote machines.Zero Electron, zero OpenSSL, zero telemetry, and no app subscription.
Production-grade MCP server and AI tools for the Godot engine. A Snap to install. Totally free and fun.
Every meeting, every idea, every voice note — searchable by your AI. Open-source, privacy-first conversation memory layer.
See, price, and control every AI agent tool call. MIT open core of Agentic Control Plane — identity, policy, limits, routing, PII redaction,...