morluto
5 entries
External
gitcontribute
📦Local
Local-first GitHub contribution research workbench
agent-toolsai-agentscode-reviewcode-search+11
External
REA
📦Local
Reverse engineer anything from your terminal or agent with one CLI and MCP server.
agent-skillsai-agent-toolsai-agentsbinary-analysis+11
External
LeanToken
📦Local
Token-bounded repository context for coding agents over MCP.
ai-codingcode-intelligencecode-navigationcode-retrieval+11
External
Jacobian
📦Local
Executable mathematics and independent verification for AI agents.
ai-agentsautomated-theorem-provingcomputer-algebracordis+11
External
Flameox
📦Local
Bounded local runtime evidence from explicit artifacts and typed direct targets.
benchmarkingcoding-agentscordisdebugging+11