Skip to main content
SkillsLLM
Categories
Blog
AI News
About
chiasmus vs llama.cpp - AI Skills Comparison | SkillsLLM
Home
Compare
chiasmus vs llama.cpp
chiasmus vs llama.cpp
Side-by-side AI skills comparison
chiasmus
yogthos
llama.cpp
ggml-org
Stars
109
103,839
Forks
7
16,880
Language
TypeScript
C++
Category
AI Agents
AI Agents
Security
Pending
Verified
SKILL.md
Votes
0
0
Bookmarks
0
0
Topics
ai-agents
ai-assistant
ai-tools
formalmethods
llm
mcp
Description
Chiasmus is an MCP server that gives language models access to formal verification
LLM inference in C/C++
View chiasmus
View llama.cpp
mcp-server
prolog
z3-smt-solver
ggml