AI Decision System
Replayable, offline-verifiable records for AI-assisted go/no-go decisions: experiment promotions, typed model answers and human-approved actions.
jSMTLIB
Resources regarding SMT solvers and the SMT-LIB language
Developer toolsJava · SMTGitHub @smtlibOnlineOwner unconfirmed
Have you tried it? One tap is enough. No sign-in needed.
- Availability
- Online
- 30-day uptime 100%
- Latest code update
- Oct 28
- Active repository
- Contributors
- 5
- Forks 16
- Listed on nomorevibe
- Oct 1
- Repository created June 2015
Languages
- Java 65.2%
- SMT 18.6%
- Scilab 7.3%
- Python and others 8.9%
Updates3 in the last 30 days
All- jSMTLIB 0.16.0GitHub release ↗
- jSMTLIB 0.15.0GitHub release ↗
- jSMTLIB 0.14.0GitHub release ↗
Trending in Developer tools
GitHub star growth between the latest completed 8-hour observations
Glasshouse
A dashboard, privacy controls and Home Assistant bridge for rooted LG webOS TVs.
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.
neuron-explorer
Steering-first neuron explorer for Qwen3.5-4B: push every MLP neuron, keep every rollout, browse the results
api-anything
Turn any website into an API your agent can call. Learns from the site's own frontend, heals itself when the site changes.