Showing the last saved plugin snapshot.

← Leaderboard / Skill / Plugin
Last repository activity November 11, 2026 · Created August 12, 2026

AmethystLuna/logicprobe

“Claim-verification skill that checks design documents and plans against codebase facts, escalating behavioral claims…”

Star rank
#2323
install-verified rank
In Skill
#133
category rank
Stars
5
GitHub repository
Forks
0
GitHub repository
Watchers
0
GitHub subscribers
Open on GitHub ↗
TL;DR

Claim-verification skill that checks design documents and plans against codebase facts, escalating behavioral claims to executable logic-primitive verification for state machines and data models, with before/after regression, domain constraints, and concurrency risk mining.

30 days of GitHub stars
+1 stars
+25% observed change
Oct 14Oct 28Nov 12