ai4ardev

ai4ardev/agent-skills

Agent Skills Useful for the Development of Automated Reasoning Tools

0 stars 0 forks 0 watchers Python Other

7 Open Issues Need Help Last updated: Oct 21, 2026

Open Issues Need Help

View All on GitHub

[Skill request] Reproducible releases and experiments for reasoning tools 13 days ago

help wanted skill-request

ai4ardev/agent-skills

0

Agent Skills Useful for the Development of Automated Reasoning Tools

Python

[Skill request] Translate research algorithms into implementation obligations 13 days ago

help wanted skill-request

ai4ardev/agent-skills

0

Agent Skills Useful for the Development of Automated Reasoning Tools

Python

[Skill request] Audit symbolic-computation assumptions and rewrite rules 13 days ago

help wanted skill-request

ai4ardev/agent-skills

0

Agent Skills Useful for the Development of Automated Reasoning Tools

Python

[Skill request] Fair benchmarking and performance diagnosis for reasoning software 13 days ago

help wanted skill-request

ai4ardev/agent-skills

0

Agent Skills Useful for the Development of Automated Reasoning Tools

Python

[Skill request] Independent checking of proofs, witnesses, and certificates 13 days ago

help wanted skill-request

ai4ardev/agent-skills

0

Agent Skills Useful for the Development of Automated Reasoning Tools

Python

[Skill request] Differential, metamorphic, and frontend testing of reasoning tools 13 days ago

help wanted skill-request

ai4ardev/agent-skills

0

Agent Skills Useful for the Development of Automated Reasoning Tools

Python

[Skill request] Audit correctness obligations in reasoning-tool changes 13 days ago

help wanted skill-request

ai4ardev/agent-skills

0

Agent Skills Useful for the Development of Automated Reasoning Tools

Python