← 최신 프로덕트

Petra

A new way to code reliably. Petra is the world's first developer friendly and open standard for scalable formal software verification (object-oriented) with professional developer tools.

kickstarter.com 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. OpenAI Codex CLI

    github.com

    Frontier reasoning in the terminal

    Product Hunt추천 180

  2. Devin for Terminal

    devin.ai

    A CLI agent that keeps working when you close your laptop

    Product Hunt추천 91

  3. Lapisla

    github.com

    A Theorem Proving Platform for Openness and Reusability

    Hacker News6점

  4. Voiden

    github.com

    an offline, Git-native API tool built around Markdown

    Hacker News79점Product Hunt추천 143

  5. Codex by OpenAI

    openai.com

    A command center for working with agents

    Product Hunt추천 345