Security●●Solid
ÆTHERYA Core – deterministic policy engine for governing LLM actions
Fail-closed guardrails for LLM actions with cryptographic approval and audit chains.
Big BrainNiche GemSolve My Problem
RobertMihai
103mo ago
Back to browse
GitHub Repository
Pre-Execution Gate for AI-Generated Code. Deterministic static analysis layer between LLM code generation and execution.
0 starsPython
AST-guard – Fast, zero-cost structural checks for LLM code execution
by thinking-nick·Jun 8, 2026·1 point·0 comments
AI Analysis
●●●BangerBig BrainWizardry
Deterministic AST analysis catches AI code bypasses that LLM reviewers miss, verified on 77k+ samples.
Strengths
- •AST-based deterministic checks can't be talked into compliance like LLM reviewers
- •External dataset validation (MALT, School of Reward Hacks) shows real rigor
- •Sub-10ms zero-cost gating enables production deployment without latency tax
Weaknesses
- •Detection rates vary widely (34.5-95%) depending on attack category
- •Python 3.11+ requirement limits deployment in legacy environments
Category
Target Audience
AI safety engineers, teams running LLM-generated code in production
Similar To
TRACE · EvilGenie · RewardHackWatch
Similar Projects
Developer Tools●●●Banger
Pre-execution verification for LLM-generated agentic workflows
Type-safe AST verification for AI workflows before they corrupt your CRM or delete production data.
Big BrainSolve My Problem
jaredwaxman
453mo ago
AI/ML●●Solid
Nexa-Gauge – LLM eval framework, now with self-hosted model support
Cache-aware LLM eval with self-hosted model support beats Ragas on flexibility.
Solve My ProblemSlick
Sardhendu
2023d ago
AI/ML●●●Banger
An MCP server that fact-checks AI bug diagnoses against AST evidence
Forces LLMs to debug with AST evidence instead of pattern-matching symptoms.
Big BrainSolve My Problem
EruditeCoder108
311mo ago
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
AI/ML●●●Banger
Sigma Guard – deterministic contradiction checks for graph memory
Applies sheaf cohomology to catch graph contradictions that schema validation misses.
Big BrainWizardryNiche Gem
invariantjason
301mo ago