Deterministic, explainable tax-calculation engine
A tax software product can accept plain facts and return cent-exact calculations together with assumptions, applied rules, legal citations, and a verifiable proof tree.
From Github Awesome — GitHub Trending Today #42: open-science, AgentENV, GodotHub, PGSimCity, rescript, agentacct, Crisp at 08:24
Problem: Agents may invent tax numbers or produce calculations that cannot be independently verified.
For: Software agents and applications that need reliable US tax calculations within explicitly encoded coverage.
Products from this video
agentacct AgentENV (AENV) AI Copywriter Amber Console Audio-Cassette-Simulation best-claude-hud Better Harness Claude Code Claude-of-Duty Codex Security Crisp Deltafin Druk FFmpeg Firecracker Git GodotHub Hark Herdr Browser humanizer-stack LanguageTool Lexicon Lifeline LLVM MoonEP Moumen Lab Next.js NVIDIA Object Oriented Agents (NOOA) OpenAI Codex Open Science opentax-engine OptMem OverlayBD PGSimCity Playwright PostgreSQL Python QEMU QuickJS quill R React ReScript scriptc shadcn/ui Shell Gym shiki Tailwind CSS The Long Silence Three.js TypeScript undo WebGL 2.0 Yap τ₀-VLA
Examples
- opentax-engine returns cent-exact US tax results with assumptions, rules, and legal citations, and refuses cases outside its encoded coverage.