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
192
194,795
Forks
10
34,173
Language
TypeScript
Python
Category
AI Agents
AI Agents
Security
Verified
Verified
SKILL.md
Votes
0
1
Bookmarks
0
7
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