benbrastmckie/ProofChecker/skill-implementer
Execute general implementation tasks following a plan. Invoke for non-Lean implementation work.
Risk Score
0
out of 100
Popularity
4
Stars
0
Forks
Feb 6, 2026
Updated
Findings by Severity (Latest Scan)
CodeThreat AppSec
Full SAST + SCA agentic security analysis for MCP servers and Skills.