Semcheck – AI Tool for checking implementation follows spec

In plain words

Semcheck is a CLI tool that uses AI to verify whether code implementations match their specifications. It integrates into CI pipelines and pre-commit workflows to automatically check semantic alignment between code and spec documents using large language models. The tool addresses the challenge of keeping implementations consistent with specifications as they evolve during development, particularly useful when AI-generated code needs validation against original requirements or standards documentation.

written from the facts on this page · September 2026

From the sources

Semantic Checker. Contribute to rejot-dev/semcheck development by creating an account on GitHub.

In the maker’s words, at launch

Hi HN, like many I've been interested in the direction software engineering is taking now that coding LLMs are becoming prevalent. It seems that we're not quite there for "natural language programming", but it seems new abstractions are already starting to form. In order to explore this further I've built semcheck…

• 
  Langtail 1.02024 · langtail.com · ▲495

  The low-code platform for testing AI apps

• 
  LLM Explorer2023 · ▲152

  Find your best LLM for a local inference

• 
  Deepmark AI2023 · github.com · ▲97

  LLM benchmarking tool for task-specific metrics on your data

• 
  LLM Verified with Monte Carlo Tree Search2023 · github.com · ▲102

  This is a weekend hack that I'd like to further develop as it's working surprisingly well. Using MCTS, we can explore a space of possible verified programs with an LLM. We check the partial programs at each step, and so steer towards programs that pass the verifier. https://github.com/namin/llm-verified-with-monte-carlo-tree-...

• 
  Semlib – Semantic Data Processing2025 · github.com · ▲63

  Build data processing and data analysis pipelines that leverage the power of LLMs 🧠 - anishathalye/semlib

• 
  CodeRLM – Tree-sitter-backed code indexing for LLM agentsFeb 2026 · github.com · ▲81

  I've been building a tool that changes how LLM coding agents explore codebases, and I wanted to share it along with some early observations. Typically claude code globs directories, greps for patterns, and reads files with minimal guidance. It works in kind of the same way you'd learn to navigate a city by walking every street. You'll eventually build a mental map, but claude never does - at least not any that persists across different contexts. The Recursive Language Models paper from Zhang, Kraska, and Khattab at MIT CSAIL introduced a cleaner framing. Instead of cramming everything into…

• 
  Spira Maxima▲578

  Video model that turns script into viral social media videos

  AI · 17d ago · spira.ai

• 
  Rill Browser▲540

  The browser where Claude Code and Codex work beside you

  AI · 17d ago · rill.love

• 
  Germany's new sovereign AI model Kolibri▲424

  Kolibri is Aleph Alpha

  AI · 19d ago · tej.as

• 
  Giving Opus 5.5 a simulated paint canvas▲392

  Paintings by AI models: programs run through a simulation of oil paint.

  AI · 20d ago · stillwet.art

• 
  Onepin▲384

  AI voiceover with every name, price and date said right

  AI · 30d ago · onepin.ai

• 
  PixVerse R2▲381

  A real-time world model you can explore and change

  AI · 29d ago · world.pixverse.video

• 
  Clueso▲1,300

  Create stunning product videos in minutes with AI

  AI · 2025 · clueso.io

• 
  Trickle - Magic Canvas ▲1,064

  Hey HN! Introducing Trickle Magic Canvas: the world’s first Agentic Canvas, where you can visually co-create apps and websites with AI, from idea to production. Why is a canvas better? Most AI tools today rely on linear chats or text prompts. We believe that limits creativity and clarity. Canvas changes the game. 1. Every version & page at a glance. Each page and sub-page lives on a timeline. You can quickly browse, edit, and preview progress like a living, visual document — no more digging through chat logs or scattered states. 2. The canvas is the context. Unlike linear chats, you can…

  AI · 2025 · trickle.so

• TB
  Tinder but it's only pictures of my wife and I can only swipe right▲1,030

  Life & fun · 2025 · trytender.app

• 
  Ten years of running every day, visualized▲958

  Today marks ten years, 3653 consecutive days, of running at least one mile every day under the USRSA rules [1]. To celebrate, I built an interactive dashboard that turns a decade of GPX files into charts you can explore. Running has truly changed my life: I've made lifelong friends, explored beautiful places, and more importantly invested into my own health and fitness, which I'm starting to see the positive benefits as I get older. The stack is pretty simple: a NextJS app, with a Postgres database to keep all my running data, and all the stats are pre-computed and cached in Redis, so I…

  Dev tools · 2025 · nodaysoff.run

• 
  Draw a fish and watch it swim with the others▲935

  Made this website as an exercise in vibe-coding and GCP. It was posted about a few times around the internet, on sites like Morning Brew (https://www.morningbrew.com/issues/business-buzzkill), MetaFilter (https://www.metafilter.com/209703/Draw-A-Fish), boingboing.net, etc. I think it's cute! I built a basic CNN trained against penises and swastikas, and then anything that doesn't hit the 63% confidence score gets sent to a mod queue, a vibe-coded fish-tinder…

  AI · 2025 · drawafish.com

• 
  Use Their ID – Use your local UK MP’s ID for the Online Safety Act▲862

  Hi HN - I made a site that takes a UK postcode, grabs the local MP's information and generates an AI mockup of what their ID might look like. It's a small, silly protest at the stupidity of the Online Safety Act that just came into force. edit - My open AI credits got hugged to death, please use a known postcode (like one from Kier Starmer's constituency, WC2B6NH) in the meantime.

  AI · 2025 · use-their-id.com