AI Security HubUniverse Repo Risk

Index skillaudit.sh Try CodeThreat

AI Composition Analysis. Open security intelligence for the AI component ecosystem.

Browse

About MCP Servers Agent Skills

Developers

API Documentation CodeThreat AppSec

Standards

MITRE ATLAS OWASP Agentic Top 10

AI Component Security Index

By CodeThreat

proof-theory | CodeThreat AI Hub

proof-theory

parcadei/Continuous-Claude-v3/proof-theory

skillsmp.com

Problem-solving strategies for proof theory in mathematical logic

Metadata

Author

parcadei

Repository

https://github.com/parcadei/Continuous-Claude-v3

Homepage

https://skillsmp.com/skills/parcadei-continuous-claude-v3-claude-skills-math-mathematical-logic-proof-theory-skill-md

SKILL.md

Documentation available

First Seen

Feb 9, 2026

Last Seen

Feb 21, 2026

Last Updated

Feb 21, 2026

Risk Score

0

out of 100

Findings by Severity (Latest Scan)

1Info

CodeThreat AppSec

Scan your own AI components

Full SAST + SCA agentic security analysis for MCP servers and Skills.