9 projects
leanback
MCP server for Lean 4 theorem proving — check, prove, goals, eval, search
consult7
MCP server for consulting large context window models to analyze extensive file collections via OpenRouter
mcp-sage
MCP server providing persistent SageMath sessions (Sage REPL over the Model Context Protocol)
mcp-minion
A minimal ReAct agent over MCP servers via OpenRouter
mcp-dblp
An MCP server that provides access to the DBLP computer science bibliography for LLMs.
agentic-python-coder
A lightweight Python coding agent that writes, executes, and iterates on code through natural language instructions
zerofolio
Algorithm selection with zero domain knowledge via text embeddings
python-asp
Pythonic Answer Set Programming library
pylean
Pure Python interaction with Lean 4 theorem prover
