chiasmus vs gemini-cli

Side-by-side AI skills comparison

yogthos

google-gemini

Stars

109

102,995

Forks

13,470

Language

TypeScript

Category

AI Agents

Security

Pending

Verified

SKILL.md

Votes

Bookmarks

Topics

ai-agentsai-assistantai-toolsformalmethodsllmmcp

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.