Back to the catalog

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.

  1. Flameox ★ 94
    Bounded local runtime evidence from explicit artifacts and typed direct targets.
  2. io.github.morluto/gitcontribute ★ 3
    Local-first GitHub contribution research workbench
  3. Jacobian ★ 155
    Executable mathematics and independent verification for AI agents.
  4. LeanToken ★ 23
    Token-bounded repository context for coding agents over MCP.
  5. REA ★ 396
    Reverse engineer anything from your terminal or agent with one CLI and MCP server.