Explore
MCP servers and skills: search, filter by where they run, and compare.
MCP servers and skills: search, filter by where they run, and compare.
Universal code & logic calculator for AI models: 51 MCP tools across 31 languages. Rust-sandboxed execution with verdicts, sessions, artifacts, exact arithmetic, and verified translation/optimization.
PythonApache-2.0★ 5No key
Node.jsMIT★ 15No key
A hybrid programming language combining Lean4's formal verification with blazing-fast compilation, actor-based agent orchestration, AI-driven optimization, and vector-backed agent memory.
Node.jsMIT★ 61No key
Modular Python 3.11+ coding and agent platform — 130 modules spanning LLM agents (13+ providers), graph RAG, static analysis, git ops, cloud and container deployment, all exposed as 612 Model Context
SkillMIT★ 11No key
Run code an AI wrote without handing it everything you can reach. Each function declares what it may touch. You grant the run one folder, one host or a number of calls, and the runtime refuses anythin
PythonMIT★ 4Few starsNo key
Parse, translate, prove and model-check logic formulas in Unicode notation: first-order, modal, description and higher-order logic, one API over a dozen provers, and an MCP server
PythonMITFew starsNo key
A graph-spectral framework for verified code synthesis through belief revision
PythonMITFew starsNo key
Who stands behind it
