5 projects
gama-l
GAMA-L 2.0 core language: parser, type/effect checker, interpreter and LSP.
proofgate-runtime
Evidence-first claim verification, signed receipts, lite injection guard and MCP server (stdlib only).
gamai-trust
Fail-closed claim verification, learned injection antibodies, and false-success benchmarking for AI agents.
gamai-guard
Multilingual prompt-injection guard: lexical + embedding cascade with a false-positive brake
sigil-profile
SIGIL/1 proof-carrying execution profile: gate, verify, anchor, MCP middleware, A2A helpers
