Open Issues Need Help
View All on GitHub Add SBOM and dependency vulnerability checks to CI about 2 hours ago
help wanted security
Git for decisions: proof-carrying AI recommendations with deterministic analysis and audit replay
Python
#ai-agents#auditable-ai#decision-making#deterministic-ai#explainable-ai#human-in-the-loop#python#z3
Return typed timeout and unknown outcomes from the main solver boundary about 2 hours ago
enhancement help wanted
Git for decisions: proof-carrying AI recommendations with deterministic analysis and audit replay
Python
#ai-agents#auditable-ai#decision-making#deterministic-ai#explainable-ai#human-in-the-loop#python#z3
Write a bounded adapter authoring walkthrough about 2 hours ago
documentation good first issue
Git for decisions: proof-carrying AI recommendations with deterministic analysis and audit replay
Python
#ai-agents#auditable-ai#decision-making#deterministic-ai#explainable-ai#human-in-the-loop#python#z3
Define an EQUALS relation through a reviewed benchmark about 2 hours ago
enhancement good first issue
Git for decisions: proof-carrying AI recommendations with deterministic analysis and audit replay
Python
#ai-agents#auditable-ai#decision-making#deterministic-ai#explainable-ai#human-in-the-loop#python#z3
Accept underscore separators in legacy wire IDs about 2 hours ago
enhancement good first issue
Git for decisions: proof-carrying AI recommendations with deterministic analysis and audit replay
Python
#ai-agents#auditable-ai#decision-making#deterministic-ai#explainable-ai#human-in-the-loop#python#z3