Open Issues Need Help
View All on GitHub 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
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 26 days 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
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 26 days 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