Skip to main content
SkillsLLM
Categories
Blog
AI News
About
chiasmus vs gemini-cli - AI Skills Comparison | SkillsLLM
Home
Compare
chiasmus vs gemini-cli
chiasmus vs gemini-cli
Side-by-side AI skills comparison
chiasmus
yogthos
gemini-cli
google-gemini
Stars
192
105,351
Forks
10
14,089
Language
TypeScript
TypeScript
Category
AI Agents
AI Agents
Security
Verified
Verified
SKILL.md
Votes
0
3
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
An open-source AI agent that brings the power of Gemini directly into your terminal.
View chiasmus
View gemini-cli
mcp-server
prolog
z3-smt-solver
ai
ai-agents
cli
gemini
gemini-api
mcp-client
mcp-server