← Latest products

Lemmafit

Make agents prove that their code is correct.

Open source

68 stars · GitHubexternal site

Visit github.comexternal site

Reactions (1)

Similar products

by description similarity

  1. MyCoder

    github.com

    an open source Claude-Code alternative

    Hacker News125 pts

  2. Local-coder

    github.com

    Build a team of coding agents with local models

    Hacker News6 pts

  3. AgentML

    agentml.dev

    Deterministic AI Agents (MIT, Alpha)

    Hacker News17 pts

  4. Am-I-vibing

    github.com

    detect agentic coding environments

    Hacker News60 pts

  5. Quibbler

    github.com

    A critic for your coding agent that learns what you want

    Hacker News114 pts