verified-ai

Claude Code plugin that learns from your corrections — approved lessons become rules that earn autonomy through real use: verified → trusted → autonomous. One mistake = one level down. No daemon, no cloud, 100% local.

Autonomous trading agent that verifies every decision through ThoughtProof before acting — blocked trades, signed verdicts, avoided harm. No profit claims, simulated execution.

Offline chemistry solver: stoichiometry, gas laws, solutions, chemical equilibrium, acids and bases, kinetics, thermochemistry, electrochemistry, molecular properties and spectroscopy, with steps, LaTeX and honest refusals

Offline astronomy solver: distances and magnitudes, stars and blackbody radiation, orbits and exoplanets, flat Lambda-CDM cosmology, telescopes, positional astronomy and time, plasma and space physics, with steps, LaTeX and honest refusals

Offline optimization solver: linear and integer programming, convex and nonlinear optimisation, assignment, transportation and shortest-route problems, scheduling, inventory, queueing, game theory and multi-criteria decisions, with steps, LaTeX and honest refusals

Offline thermofluids solver: fluid statics and dynamics, pipe flow, boundary layers, aerodynamics, heat conduction, convection and radiation, heat exchangers, thermodynamic cycles, psychrometrics and combustion, with steps, LaTeX and honest refusals

Offline transportation solver: vehicle dynamics, braking and stopping distances, traffic flow, highway geometry, railway operations, route planning and transit capacity, with steps, LaTeX and honest refusals

可验证 AI 工作流行业包（DeepSeek Harness）：跨境电商/自媒体团队 preset + 机器可检 runbook。任务完成=verify 全绿。

Check whether AI-assisted R&D work is truly verified progress. Local-first LOSCR implementation with JSONL evidence ledgers, deterministic replay, service control, and claim checking.

Offline geometry solver: plane and solid geometry, coordinate geometry, conic sections, polygons and polyhedra, computational geometry (convex hulls, Voronoi, triangulation) and curves and surfaces, with steps, LaTeX and honest refusals

A 496-byte signed genome that grows a verified AI on each device from its own data, offline — organs that don't prove themselves abstain. Built organ by organ, each pre-registered and measured.

Offline statistics solver: descriptive statistics, probability distributions, confidence intervals, hypothesis tests, regression and correlation, experimental design, quality control and reliability, with steps, LaTeX and honest refusals

Offline calculus solver: limits, derivatives, integrals, series, Taylor polynomials, multivariable and vector calculus, special functions and numerical differentiation and integration, with steps, LaTeX and honest refusals