neuron-explorer
Steering-first neuron explorer for Qwen3.5-4B: push every MLP neuron, keep every rollout, browse the results
ZTL Blueprint
Zero-Trust Logic — a two-valued logic over unverified inputs ("truth is never granted on credit"). Machine-checked in Lean 4 with zero axioms; certified tableau engine; measured bridges to IEEE NaN, S
Developer toolsPython · LeanGitHub @inventor1975OnlineOwner unconfirmed
Have you tried it? One tap is enough. No sign-in needed.
- Availability
- Online
- 30-day uptime 100%
- Latest code update
- Oct 26
- Active repository
- Latest version
- None
- Contributors
- 2
- Forks 0
- License
- GitHub auto-detection · Previous observation · Collected Oct 27
- Listed on nomorevibe
- Oct 8
- Repository created July 2026
Languages
- Python 54.5%
- Lean 41%
- TeX 2.4%
- HTML and others 2.1%
Updates0 updates
AllNo updates detected yet. GitHub releases will appear here.
Trending in Developer tools
GitHub star growth between the latest completed 8-hour observations
ra-jit
Edit Rust. See it change in milliseconds, in the program that is already running.
TraceRoot
TraceRoot is an open-source, agent-native improvement layer for AI agents. Bring production traces, detector signals, and evals into your coding workflow.
Agenvoy
Taiwan-built, self-hosted AI agent harness in a single Go binary — writes its own tools, sandbox-tests them, and shares them over MCP with Claude Code and Codex.
PolyStrata
Run large AI models on your own PC: Qwen3.8-Flash-Next on Strata's engine, and GLM 5.3 Flash, DeepSeek V4 Flash, LFM2.5, Qwen3.6, Ornith 1.5, Gemma 4, Tiel Coder and MiniCPM-V on a second engine writt