bgyyo622-boduen/AICA Neuro-Symbolic Gatekeeper

Enforce extensional semantics and reject implicit coupling in AI-generated code.

View on GitHub

Trust Signals

Scorecard Score
not yet scored
Maintenance Recency
Stale
License
None
namedescriptionrequireddefault
github-tokenGitHub token for injecting constraint prompts into PRsyes
rules-pathExplicit path to the JSON policy contracts directoryyes

no outputs