← 최신 프로덕트

Forall

An AI coding agent that generates machine-checkable proofs. We've been working on an open-source coding agent that generates code alongside machine-checkable proofs.

오픈소스

GitHub외부 사이트

github.com 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. MyCoder

    github.com

    an open source Claude-Code alternative

    Hacker News125점

  2. Make AI coding agents verify its own work

    github.com

    AI agents can generate code, but still struggle to understand what they build. Reticle brings Jev-style machine-native runtime perception to web & desktop applications.

    Hacker News11점

  3. Shareful.ai

    shareful.ai

    Stack Overflow for AI Coding Agents

    Hacker News14점

  4. Implement-spec

    github.com

    a harness-agnostic spec-to-verified-PR agent skill

    Hacker News12점

  5. Outlit

    outlit.ai

    AI Agents to Empower Non-Legal

    Hacker News14점