Python interface to Lean control theory proofs. See README.md for control theory integration workflow. Verify: `python -c "import src.python.control; print('OK')"` for module import.
Imported from docxology/lean_niche (src/python/control/AGENTS.md). Install upstream with npx skills add docxology/lean_niche --skill control. Copyright stays with the author.
Control Theory Python Module
Layout: control_theory.py
Control theory: Python orchestration for control system analysis
Single module: No subdirectories
Package structure: init.py for module imports
Python interface to Lean control theory proofs.
See README.md for control theory integration workflow.
Verify: python -c "import src.python.control; print('OK')" for module import.
Use it
Copy one of these into your project. Installing also returns the manifest and these snippets.
yaml
targets:
- https://api.opensmartroute.ai/api/v1/registry/docxology-lean-niche-control/manifest # or paste the manifest below
Manifest
An Open Capability Manifest: the router reads it to know what this does, what it costs and when to pick it.
docxology-lean-niche-control.ocm.jsonjson
{
"ocm": "1",
"id": "docxology-lean-niche-control",
"kind": "skill",
"name": "control",
"description": "Python interface to Lean control theory proofs. See README.md for control theory integration workflow. Verify: `python -c \"import src.python.control; print('OK')\"` for module import.",
"publisher": "docxology",
"version": "1.0.0",
"capabilities": {
"domains": [
"coding"
],
"tags": [
"skill-md",
"github-agents"
],
"languages": [
"en"
]
},
"quality_prior": 0.6,
"examples": [
"Python interface to Lean control theory proofs. See README.md for control theory integration workflow. Verify: `python -c \"import src.python.control; print('OK')\"` for module import."
],
"primary": false,
"metadata": {
"source": {
"provider": "github-agents",
"repository": "https://github.com/docxology/lean_niche",
"path": "src/python/control/AGENTS.md",
"ref": "ee37dd23a4a26784a49e7d2605605b4fcad2436c",
"url": "https://github.com/docxology/lean_niche/blob/ee37dd23a4a26784a49e7d2605605b4fcad2436c/src/python/control/AGENTS.md",
"key": "docxology/lean_niche/src/python/control/AGENTS.md"
}
},
"instructions": "# Control Theory Python Module\n\n**Layout**: control_theory.py\n**Control theory**: Python orchestration for control system analysis\n**Single module**: No subdirectories\n**Package structure**: __init__.py for module imports\n\nPython interface to Lean control theory proofs.\nSee README.md for control theory integration workflow.\nVerify: `python -c \"import src.python.control; print('OK')\"` for module import.",
"cost": {
"context_tokens": 101
}
}
Fetch it by URL: GET /api/v1/registry/docxology-lean-niche-control/manifest?version=1.0.0
Reviews
Star ratings from people who tried it. One review per account; edit yours any time.
No reviews yet. Install it, try it, and be the first to rate it.
