5 packages found
LLM agents that write machine-checked cryptographic proofs in EasyCrypt (arXiv:2607.02847)
MCP server giving LLM agents a seven-verb API over papers, documents, code, state, patents, and cached web/Wolfram/YouTu
Give Claude Code the GitHub + Slack context behind any PR. Open-source local-first MCP server. BYOK.
A list of open-source AI projects you can use to generate income easily.
Rails Engine with MCP compliant Spec.