Skip to main content
SkillsLLM
Categories
Blog
AI News
About
chiasmus vs hermes-agent - AI Skills Comparison | SkillsLLM
Home
Compare
chiasmus vs hermes-agent
chiasmus vs hermes-agent
Side-by-side AI skills comparison
chiasmus
yogthos
hermes-agent
NousResearch
Stars
109
130,060
Forks
7
19,654
Language
TypeScript
Python
Category
AI Agents
AI Agents
Security
Pending
Verified
SKILL.md
Votes
0
0
Bookmarks
0
3
Topics
ai-agents
ai-assistant
ai-tools
formalmethods
llm
mcp
Description
Chiasmus is an MCP server that gives language models access to formal verification
The agent that grows with you
View chiasmus
View hermes-agent
mcp-server
prolog
z3-smt-solver
ai
ai-agent
ai-agents
anthropic
chatgpt
claude
claude-code
clawdbot
codex
hermes
hermes-agent
llm
moltbot
nous-research
openai
openclaw