aiscientist
01Settings file Claude Code
MCP configuration declaring 7 servers: memory, verify, prove, lean, cockpit, arxiv.
8 1mo ago A
tokens not measured
original MIT
8Stars on the repository
27Mods indexed here, across every type
1mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown