LM
Lemmafit: Make agents prove that their code is correct
Does the same job
all alternatives →- ATAgent-to-code JIT compiler for Z3-theorem-proving agentsNov 2025 · github.com · ▲6
- TATt – a Python library/cli for Boolean expressions2017 · github.com · ▲23
- GVGuardians – Verify tool-using agent workflows before executionApr 2026 · github.com · ▲8
- APAgent-pd – A zero-token audit log to catch rogue Claude Code subagentsJun 2026 · github.com · ▲6
- SASelvedge – an MCP server that captures why AI agents change codeMay 2026 · selvedge.sh · ▲5
- DADeception - A Generalized Turing Test Game2012 · playdeception.com · ▲13
More dev tools this month
the category →



Open-source GTM skills for technical founders
Dev tools · 29d ago · gtmcofounder.com

OpenTrailPaper is open-source bike computer firmware for the LilyGO T5S3 4.7" E-Paper PRO. It supports offline maps, GPX routes, FIT recording and Bluetooth sensors.
Dev tools · 1d ago · opentrailpaper.com

Launched alongside, March 2026
the whole month →

Switch from ChatGPT to Claude with import memory feature
AI · Mar 2026 · claude.com


