phibkro/claude-config/autonomous-plan
Create/execute autonomous plans with Hoare Logic contracts. Use when planning with pre/post conditions, designing by contract.
Risk Score
0
out of 100
Popularity
0
Stars
0
Forks
Feb 12, 2026
Updated
Findings by Severity (Latest Scan)
CodeThreat AppSec
Full SAST + SCA agentic security analysis for MCP servers and Skills.