AI/ML●●Solid
ÆTHERYA Core – deterministic action-governance kernel for LLM agents
Fail-closed policy layer blocks LLM tool calls before execution, no LLM in decision path.
Big BrainNiche Gem
RobertMihai
102mo ago
Back to browse
A tool that audits healthcare ML models for safety and trust
by AyodeleFikayomi·Mar 12, 2026·4 points·2 comments
AI Analysis
●MidBold BetNiche Gem
Four-tier stack with algebraic verification feels over-engineered compared to K9 Audit.
Strengths
- •Deterministic kernel guarantees identical outputs for same inputs — important for clinical use.
- •Temporal replay lets you re-execute past decisions with exact original context.
- •Multi-tenant isolation prevents cross-organization data leakage in shared deployments.
Weaknesses
- •Odù Ifá algebraic verification is novel but unclear what practical benefit it provides.
- •Similar hash-chain audit approach to K9 Audit but with significantly more complexity.
Category
Target Audience
Healthcare organizations deploying clinical AI models
Similar To
Arize · Fiddler AI · WhyLabs
Similar Projects
Infrastructure●●Solid
ExoArmur – Deterministic governance runtime for autonomous systems
Verifiable decision replay for autonomous systems, but execution complexity limits adoption beyond safety-critical domains.
Big BrainNiche Gem
slucerodev
103mo ago
Developer Tools●●●Banger
KarnEvil9, a deterministic AI agent runtime
First public implementation of DeepMind delegation paper. Tested on Zork with governance that blocked 'attack'.
WizardryBig BrainZero to One
oldeucryptoboi
103mo ago
AI/ML●●●Banger
Core Rth. A governed AI kernel for engineers who don't trust their LLMs
Proposal-first governance + hardware E-stop for AI controlling robots/drones—legitimately novel safety architecture.
Big BrainBold Bet
christianrth
113mo ago
AI/ML○Pass
We filed 99 patents for deterministic AI governance(Prior Art vs. RLHF)
Patent portfolio for deterministic AI, but no code, demo, or working system shown.
genesalvatore
203mo ago
Developer Tools●●●Banger
CSL MCP Server – Write and Verify AI Safety Policies from Claude/Cursor
Mathematically verified policies enforced outside the model—formal proof replaces prompt engineering.
Big BrainZero to One
aytuakarlar
113mo ago