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

propositional-logic | CodeThreat AI Hub

propositional-logic

parcadei/Continuous-Claude-v3/propositional-logic

skillsmp.com

Problem-solving strategies for propositional logic 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-propositional-logic-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.