Claim verification for AI coding agents
AmethystLuna/logicprobe · skills
AI Code Agent Statement Validation - Logic source validation of the design document and reconfiguring planned status machines, data models and co-risks.
★ 3GitHub stars
0Forks
2026-09-08Last updated
JavaScriptLanguage
MITLicense
Key features
- Chase 1-2Each statement that can be verified (API name, file path, number, mechanism feasibility) gives evidence by article against the code library
- Based on the Open Standards for Age Skills.
- Skills follow the Open Standards of Agent Skills and are found in dsh's skill-filesystem program - zero code.
- Design Document / Schedule Review - "Renew this design document"
- Phase 2a8 structural checks (S1-S8) on the extracted status machine model: S1 accessibility, S2 deadlock, S3 activity, S4 certainty, S5 event completeness, S6 guard completeness, S7 nonvariability, S8 monotonous variable
Install command
dsh plugin --profile web add github:AmethystLuna/logicprobe