7 projects
agentic-python-coder
A lightweight Python coding agent that writes, executes, and iterates on code through natural language instructions
consult7
MCP server for consulting large context window models to analyze extensive file collections via OpenRouter
leanback
MCP server for Lean 4 theorem proving — check, prove, goals, eval, search
mcp-dblp
An MCP server that provides access to the DBLP computer science bibliography for LLMs.
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
