Skip to main content
SkillsLLM
Categories
Blog
AI News
About
cc-switch vs chiasmus - AI Skills Comparison | SkillsLLM
Home
Compare
cc-switch vs chiasmus
cc-switch vs chiasmus
Side-by-side AI skills comparison
cc-switch
farion1231
chiasmus
yogthos
Stars
123,006
207
Forks
8,320
11
Language
Rust
TypeScript
Category
AI Agents
AI Agents
Security
Verified
Verified
SKILL.md
Votes
3
0
Bookmarks
3
0
Topics
ai-tools
claude-code
codex
desktop-app
grok
grokbuild
Description
A cross-platform desktop All-in-One assistant for Claude Code, Codex, OpenCode, OpenClaw, Grok Build & Hermes Agent. Only official website: ccswitch.io
Chiasmus is an MCP server that gives language models access to formal verification
View cc-switch
View chiasmus
hermes
hermes-agent
mcp
open-source
openclaw
openclaw-ui
opencode
provider-management
rust
skills
skills-management
tauri
typescript
wsl-support
ai-agents
ai-assistant
ai-tools
formalmethods
llm
mcp
mcp-server
prolog
z3-smt-solver