published by morluto
5 listings on this page, in order of arrival. Each one has its own page with README, repository facts and source links.
- Flameox ★ 94
Bounded local runtime evidence from explicit artifacts and typed direct targets. - io.github.morluto/gitcontribute ★ 3
Local-first GitHub contribution research workbench - Jacobian ★ 155
Executable mathematics and independent verification for AI agents. - LeanToken ★ 23
Token-bounded repository context for coding agents over MCP. - REA ★ 396
Reverse engineer anything from your terminal or agent with one CLI and MCP server.