AI That Can't Get Math Wrong
A symbolic computation language for Python with 6,324 functions plus 7 knowledge packs (PubChem, Crossref, OpenAlex, GeoNames, World Bank, AlphaFold, JHTDB). Pattern matching, algebraic simplification, chemistry, physics, visualization, signal processing, and structured knowledge retrieval — all deterministic and verified.
Ask in English, Get Verified Math
Type a question in plain English. AI translates it to MikoshiLang syntax. MikoshiLang computes the verified result. No hallucination — guaranteed correct.
Free tier uses Ollama (local AI). Bring your own Claude or OpenAI key for premium models.
Everything You Need
Verified Computation
Every result is deterministic. No hallucination, no approximation errors. Symbolic computation that proves its answers.
Chemistry
Balance equations, compute molar masses, look up elements. Full periodic table with electron configurations and properties.
Physics Units
Convert between any units — velocity, mass, temperature, energy. Dimensional analysis built in.
Signal Processing
Fourier transforms, convolution, filtering. Process signals symbolically before going numerical.
Jupyter Integration
Rich display in Jupyter notebooks with LaTeX rendering. Interactive exploration of symbolic expressions.
Pattern Matching
Wolfram-style pattern matching and rule application. Define transformation rules that apply automatically.
Advanced Visualization
2D/3D plots, interactive graphics (Plotly), vector fields, contours, parametric curves, animations. Publication-quality and exploratory plots.
5 Knowledge Packs
PubChem (100M+ compounds), Crossref (70M+ papers), OpenAlex (200M+ works), GeoNames (11M+ places), World Bank (1,400+ indicators). SPARQL graph queries, persistent cache, full license tracking.
6,324 Functions
Calculus, algebra, linear algebra, statistics, number theory, graph theory, physics, machine learning, hydrology, mining, manufacturing, renewable energy, and more — comprehensive coverage.
Advanced Plotting & Graphics
Publication-quality static plots (matplotlib) and interactive 3D graphics (plotly). 2D/3D surfaces, vector fields, contours, parametric curves, polar plots, and animations.
Install with: pip install mikoshilang[visualization]
Structured Knowledge Retrieval
7 domain-specific knowledge packs with SPARQL graph queries, persistent caching (200x speedup), and full license compliance. Wikidata entity framework plus Wikipedia summaries.
All queries include provenance tracking (source URL + timestamp + license)
How It Stacks Up
| Feature | MikoshiLang | Wolfram | SymPy |
|---|---|---|---|
| Pattern Matching | ✅ Native | ✅ Native | ❌ Limited |
| Open Source | ✅ Apache 2.0 | ❌ Proprietary | ✅ BSD |
| Chemistry | ✅ Built-in | ✅ Built-in | ❌ Separate |
| Unit Conversion | ✅ Built-in | ✅ Built-in | ✅ Add-on |
| Signal Processing | ✅ Built-in | ✅ Built-in | ❌ No |
| 3D Visualization | ✅ Static + Interactive | ✅ Native | ✅ Matplotlib |
| Animations | ✅ GIF Export | ✅ Native | ❌ Manual |
| Interactive Plots | ✅ Plotly | ✅ Manipulate | ❌ No |
| Function Count | ✅ 6,324 | ✅ 6,000+ | ✅ ~800 |
| Knowledge Packs | ✅ 7 sources | ✅ Curated | ❌ No |
| Entity Graph (SPARQL) | ✅ Wikidata | ✅ Native | ❌ No |
| Python Native | ✅ Pure Python | ❌ Separate | ✅ Pure Python |
| AI Integration | ✅ Synapse/Turbo | ❌ No | ❌ No |
| Price | Free | $395+/yr | Free |
Install in Seconds
Resources
Need Cloud Deployment?
Run MikoshiLang without local setup. Collaborative notebooks, API deployment, scheduled tasks, and shared knowledge caching. Coming Q2 2026.
