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.
Composable mathematics tools for agents
PythonMIT★ 292No 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
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
