← Latest products

Semcheck

AI Tool for checking implementation follows spec. Semantic Checker. It seems that we're not quite there for "natural language programming", but it seems new abstractions are already starting to form.

Open source

114 stars · GitHubexternal site

Visit github.comexternal site

Reactions (1)

Similar products

by description similarity

  1. Sigil

    news.ycombinator.com

    A new programming language for AI agents

    Hacker News5 pts

  2. Sqlsure

    github.com

    deterministic semantic checks for AI-generated SQL

    Hacker News43 pts

  3. Akshen

    akshen.com

    A community-driven library for verified AI prompts

    Hacker News5 pts

  4. Remy

    remy.msagent.ai

    an AI agent that compiles annotated Markdown into full-stack apps

    Hacker News5 pts

  5. SeaGOAT

    github.com

    local, “AI-based” grep for semantic code search

    Hacker News240 pts