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