Skills MCP Plugins Subagents

Browse by category

Coding Skills2061 Marketing Skills1580 Design Skills1479 Security Skills1134 Automation Skills994 Testing Skills985 Media Skills908 Infrastructure Skills902 Data Skills883 Finance Skills840 Automation MCPs799 Planning Skills797 DevTool MCPs797 Documentation Skills757 Coding MCPs738 Productivity Skills721 Productivity MCPs649 Data MCPs505 DevTool Skills503 Infrastructure MCPs482 Security MCPs441 Debugging Skills428 Code review Skills415 Search & RAG MCPs409

The Monday digest

The week's best new agents, skills and MCP servers. One email, every Monday.

Free · unsubscribe anytime.

aaaa.fyi

Every agent skill, MCP server, plugin and subagent — searchable, comparable, and one command from installed. Live stats from GitHub, npm and PyPI.

Agent Skills MCP Servers Plugins Subagents Coding Agents

Collections Official publishers Glossary Blog Search Saved Feedback

Privacy Terms llms.txt Sitemap

made with ♥ · © 2026 aaaa.fyi

Independent project · real data from public registries

…/yogthos/chiasmus

home/mcp-servers/yogthos/chiasmus

chiasmus

606installs/mo · npm204stars11forks

How to install chiasmus?

yogthos/chiasmus

$git clone https://github.com/yogthos/chiasmus

Installs into the current project.

Summary

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

yogthosPublisher · 3 listings

Preview

yogthos/chiasmus

Repoyogthos/chiasmus

LicenseApache-2.0

TypeMCP Servers

CategorySecurity

UpdatedJun 2026

Tags

MCP ai-agents ai-assistant

People who liked this also viewed

6 picks

Type

mcp-scannerScan MCP servers for potential threats & security findings.MCP ServersJul 2026124k989
hol-guardOpen-source antivirus for AI agents: block risky tools, secret access, prompt injection, malicious packages, MCP servers, plugins, and skills at runtime.MCP ServersJul 202664k413
agent-scanSecurity scanner for AI agents, MCP servers and agent skills.MCP ServersJul 202659k2.8k
falcon-mcpConnect AI agents to CrowdStrike Falcon for automated security analysis and threat huntingMCP ServersJul 202623k224
python🔐 Plug-and-play auth for Python MCP servers.MCP ServersAug 202520k58
auth0-mcp-serverConnect LLMs and AI agents to Auth0 Management APIs via an MCP server. Use natural-language commands to create apps, deploy Actions, and query logs—runs locally and supports interactive tenant authentication for secure Auth0 administration from AI tools/CLIs.MCP ServersJul 202616k112