Translates natural language mathematical questions into optimal prompts for Harmonic's Aristotle formal theorem prover, submits them via…
Free
Details
This publisher has an account here and has not listed a server yet.
Security & Testing · Learning & Documentation · Productivity & Workflow
0 + 3
servers + skills
3 categories
—
installs
across every listing
0
followers
told when a release lands
—
average rating
no reviews yet
3 agent skills — instructions the agent loads on demand. 3 of 3 are free. Median context cost 4.5k tokens.
Authentication
0 of 0 use OAuth
The rest either hold an API key issued by the publisher or ask for nothing.
Support
Community publisher
Listed without a verification tick. Read the listing before installing.