Skip to main content

Categories Blog AI News About

Discover and explore open-source AI skills for Claude Code, Codex CLI, and ChatGPT.

Categories

AI Agents
MCP Servers
Code Generation
CLI Tools
IDE Extensions
DevOps

Resources

Blog
AI News
All Categories
Agent Hub
Hermes Agent
NSFW AI Tools
AI Council
Sports Betting & Prediction Markets
Security Checker
FAQ
Glossary

Site

About
Submit a Skill
Feedback
Chrome Extension
Privacy
Featured Listing & Refunds

© 2026 SkillsLLM. Open-source AI skills, security-vetted.

HomeComparechiasmus vs superpowers

chiasmus vs superpowers

Side-by-side AI skills comparison

yogthos

obra

Stars

205

234,966

Forks

11

20,863

Language

TypeScript

Shell

Category

AI Agents

AI Agents

Security

Verified

Verified

SKILL.md

Votes

0

7

Bookmarks

0

9

Topics

ai-agentsai-assistantai-toolsformalmethodsllmmcp

Description

Chiasmus is an MCP server that gives language models access to formal verification

An agentic skills framework & software development methodology that works.

View chiasmus View superpowers

chiasmus vs superpowers - AI Skills Comparison | SkillsLLM

mcp-server

prolog

z3-smt-solver

aibrainstormingcodingobrasdlcskillssubagent-driven-developmentsuperpowers