Tools that show their evidence.
Each Anomalon tool checks a claim (a migration, a schema, a cache, an AI answer) and returns a result you can replay, not just a score.
Prompt WorkbenchTurn a rough prompt into a structured plan you can inspect, run, and reuse. See a recorded example without signing in.anomalon.com/workbenchAuditFind the obstruction state of a prompt or AI response before you send it.anomalon.com/appSimplex-NF StudioNormalize a schema, run the chase, and generate lossless 3NF tables with their DDL.smplxnf.anomalon.comSmplCache LiveKeep dashboards correct without rerunning every query after every write.smplcache.anomalon.com
Research and programs
Local Green Global Red (LGGR)Study why local checks can pass while shared constraints remain incompatible.anomalon.com/research/Proposal Fidelity Protocol (PFP)Separate proposals, independent host checks, bounded repair, and replayable records.anomalon.com/research/Anomalon ResearchPre-Genesis, finite quantum mechanics, and the Apeiron research programmes.anomalon.com/research/Anomalon EducationApeiron: from first distinctions to open research questions, one lesson at a time.anomalon.com/education/Anomalon Topological Processing Unit & AutoP CompilerExplore proposed processing primitives, compiler contracts, and realization obligations.anomalon.com/research/Project Codename Woland: Omega EngineStudy bounded execution, typed transitions, continuation, and runtime custody.anomalon.com/research/