Free, open tools for AI safety
Sandbox AI agents, watch what they do with a hidden Observer, and measure it with evals. Open source, local, with evidence anyone can check.
Chemotaxis III in Lean
Partial Lean 4 formalization of Chemotaxis III, with an explicit verified, conditional and excluded scope ledger.
Developer toolsLean · TeXGitHub @chenle02OnlineOwner unconfirmed
Have you tried it? One tap is enough. No sign-in needed.
- Availability
- Online
- 30-day uptime 100%
- Latest code update
- Nov 7
- Active repository
- Contributors
- 1
- Forks 0
- License
- GitHub auto-detection · Previous observation · Collected Nov 10
- Listed on nomorevibe
- Nov 10
- Repository created October 2026
Languages
- Lean 89.8%
- TeX 8.6%
- Python 0.9%
- Shell and others 0.7%
Updates1 in the last 30 days
All- v0.1.0: partial Chemotaxis III formalizationGitHub release ↗
Trending in Developer tools
GitHub star growth between the latest completed 8-hour observations
DBDelve
Dive deep into your data. A fast, native, multi-engine database client written in Rust. Free and open source, no telemetry.
BigMoeOnEdge
Run MoE models bigger than your RAM. Frontier-size MoE on a phone, laptop, edge. Lossless, on stock llama.cpp. An adaptive streaming optimizer. Any hardware, any OS, any model, any quantization, behin
Translation pending
Up.computer
A self-orchestrating control plane for the agent CLIs you already use. It turns your ideas into tasks and hands them to your agents. Free and open source, any provider, every chat on your computer.
OrcaRouter
One OpenAI-compatible AI gateway for production AI — adaptive routing, load balancing, guardrails, agent firewall, observability and governance across 200+ models.